5 Set Declarations
alloca_index : Size=1, Index=None, Ordered=True
Key : Dimen : Domain : Size : Members
None : 2 : virt_regs*phys_regs : 40 : {(0, 0), (0, 1), (0, 2), (0, 3), (1, 0), (1, 1), (1, 2), (1, 3), (2, 0), (2, 1), (2, 2), (2, 3), (3, 0), (3, 1), (3, 2), (3, 3), (4, 0), (4, 1), (4, 2), (4, 3), (5, 0), (5, 1), (5, 2), (5, 3), (6, 0), (6, 1), (6, 2), (6, 3), (7, 0), (7, 1), (7, 2), (7, 3), (8, 0), (8, 1), (8, 2), (8, 3), (9, 0), (9, 1), (9, 2), (9, 3)}
bad_pairs : Size=1, Index=None, Ordered=Insertion
Key : Dimen : Domain : Size : Members
None : 2 : Any : 13 : {(0, 1), (0, 3), (1, 2), (1, 3), (1, 4), (1, 5), (1, 6), (2, 8), (2, 9), (3, 4), (3, 5), (4, 5), (7, 8)}
phys_regs : Size=1, Index=None, Ordered=Insertion
Key : Dimen : Domain : Size : Members
None : 1 : Any : 4 : {0, 1, 2, 3}
virt_regs : Size=1, Index=None, Ordered=Insertion
Key : Dimen : Domain : Size : Members
None : 1 : Any : 10 : {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
использование_одного_физического_index : Size=1, Index=None, Ordered=True
Key : Dimen : Domain : Size : Members
None : 3 : bad_pairs*phys_regs : 52 : {(0, 1, 0), (0, 1, 1), (0, 1, 2), (0, 1, 3), (0, 3, 0), (0, 3, 1), (0, 3, 2), (0, 3, 3), (1, 2, 0), (1, 2, 1), (1, 2, 2), (1, 2, 3), (1, 3, 0), (1, 3, 1), (1, 3, 2), (1, 3, 3), (1, 4, 0), (1, 4, 1), (1, 4, 2), (1, 4, 3), (1, 5, 0), (1, 5, 1), (1, 5, 2), (1, 5, 3), (1, 6, 0), (1, 6, 1), (1, 6, 2), (1, 6, 3), (2, 8, 0), (2, 8, 1), (2, 8, 2), (2, 8, 3), (2, 9, 0), (2, 9, 1), (2, 9, 2), (2, 9, 3), (3, 4, 0), (3, 4, 1), (3, 4, 2), (3, 4, 3), (3, 5, 0), (3, 5, 1), (3, 5, 2), (3, 5, 3), (4, 5, 0), (4, 5, 1), (4, 5, 2), (4, 5, 3), (7, 8, 0), (7, 8, 1), (7, 8, 2), (7, 8, 3)}
1 Param Declarations
phys_costs : Size=4, Index=phys_regs, Domain=Any, Default=None, Mutable=False
Key : Value
0 : 1
1 : 2
2 : 3
3 : 4
1 Var Declarations
alloca : Size=40, Index=alloca_index
Key : Lower : Value : Upper : Fixed : Stale : Domain
(0, 0) : 0 : None : 1 : False : True : Binary
(0, 1) : 0 : None : 1 : False : True : Binary
(0, 2) : 0 : None : 1 : False : True : Binary
(0, 3) : 0 : None : 1 : False : True : Binary
(1, 0) : 0 : None : 1 : False : True : Binary
(1, 1) : 0 : None : 1 : False : True : Binary
(1, 2) : 0 : None : 1 : False : True : Binary
(1, 3) : 0 : None : 1 : False : True : Binary
(2, 0) : 0 : None : 1 : False : True : Binary
(2, 1) : 0 : None : 1 : False : True : Binary
(2, 2) : 0 : None : 1 : False : True : Binary
(2, 3) : 0 : None : 1 : False : True : Binary
(3, 0) : 0 : None : 1 : False : True : Binary
(3, 1) : 0 : None : 1 : False : True : Binary
(3, 2) : 0 : None : 1 : False : True : Binary
(3, 3) : 0 : None : 1 : False : True : Binary
(4, 0) : 0 : None : 1 : False : True : Binary
(4, 1) : 0 : None : 1 : False : True : Binary
(4, 2) : 0 : None : 1 : False : True : Binary
(4, 3) : 0 : None : 1 : False : True : Binary
(5, 0) : 0 : None : 1 : False : True : Binary
(5, 1) : 0 : None : 1 : False : True : Binary
(5, 2) : 0 : None : 1 : False : True : Binary
(5, 3) : 0 : None : 1 : False : True : Binary
(6, 0) : 0 : None : 1 : False : True : Binary
(6, 1) : 0 : None : 1 : False : True : Binary
(6, 2) : 0 : None : 1 : False : True : Binary
(6, 3) : 0 : None : 1 : False : True : Binary
(7, 0) : 0 : None : 1 : False : True : Binary
(7, 1) : 0 : None : 1 : False : True : Binary
(7, 2) : 0 : None : 1 : False : True : Binary
(7, 3) : 0 : None : 1 : False : True : Binary
(8, 0) : 0 : None : 1 : False : True : Binary
(8, 1) : 0 : None : 1 : False : True : Binary
(8, 2) : 0 : None : 1 : False : True : Binary
(8, 3) : 0 : None : 1 : False : True : Binary
(9, 0) : 0 : None : 1 : False : True : Binary
(9, 1) : 0 : None : 1 : False : True : Binary
(9, 2) : 0 : None : 1 : False : True : Binary
(9, 3) : 0 : None : 1 : False : True : Binary
1 Objective Declarations
obj : Size=1, Index=None, Active=True
Key : Active : Sense : Expression
None : True : minimize : alloca[0,0] + 2*alloca[0,1] + 3*alloca[0,2] + 4*alloca[0,3] + alloca[1,0] + 2*alloca[1,1] + 3*alloca[1,2] + 4*alloca[1,3] + alloca[2,0] + 2*alloca[2,1] + 3*alloca[2,2] + 4*alloca[2,3] + alloca[3,0] + 2*alloca[3,1] + 3*alloca[3,2] + 4*alloca[3,3] + alloca[4,0] + 2*alloca[4,1] + 3*alloca[4,2] + 4*alloca[4,3] + alloca[5,0] + 2*alloca[5,1] + 3*alloca[5,2] + 4*alloca[5,3] + alloca[6,0] + 2*alloca[6,1] + 3*alloca[6,2] + 4*alloca[6,3] + alloca[7,0] + 2*alloca[7,1] + 3*alloca[7,2] + 4*alloca[7,3] + alloca[8,0] + 2*alloca[8,1] + 3*alloca[8,2] + 4*alloca[8,3] + alloca[9,0] + 2*alloca[9,1] + 3*alloca[9,2] + 4*alloca[9,3]
2 Constraint Declarations
виртуальному_один_физический : Size=10, Index=virt_regs, Active=True
Key : Lower : Body : Upper : Active
0 : 1.0 : alloca[0,0] + alloca[0,1] + alloca[0,2] + alloca[0,3] : 1.0 : True
1 : 1.0 : alloca[1,0] + alloca[1,1] + alloca[1,2] + alloca[1,3] : 1.0 : True
2 : 1.0 : alloca[2,0] + alloca[2,1] + alloca[2,2] + alloca[2,3] : 1.0 : True
3 : 1.0 : alloca[3,0] + alloca[3,1] + alloca[3,2] + alloca[3,3] : 1.0 : True
4 : 1.0 : alloca[4,0] + alloca[4,1] + alloca[4,2] + alloca[4,3] : 1.0 : True
5 : 1.0 : alloca[5,0] + alloca[5,1] + alloca[5,2] + alloca[5,3] : 1.0 : True
6 : 1.0 : alloca[6,0] + alloca[6,1] + alloca[6,2] + alloca[6,3] : 1.0 : True
7 : 1.0 : alloca[7,0] + alloca[7,1] + alloca[7,2] + alloca[7,3] : 1.0 : True
8 : 1.0 : alloca[8,0] + alloca[8,1] + alloca[8,2] + alloca[8,3] : 1.0 : True
9 : 1.0 : alloca[9,0] + alloca[9,1] + alloca[9,2] + alloca[9,3] : 1.0 : True
использование_одного_физического : Size=52, Index=использование_одного_физического_index, Active=True
Key : Lower : Body : Upper : Active
(0, 1, 0) : -Inf : alloca[0,0] + alloca[1,0] : 1.0 : True
(0, 1, 1) : -Inf : alloca[0,1] + alloca[1,1] : 1.0 : True
(0, 1, 2) : -Inf : alloca[0,2] + alloca[1,2] : 1.0 : True
(0, 1, 3) : -Inf : alloca[0,3] + alloca[1,3] : 1.0 : True
(0, 3, 0) : -Inf : alloca[0,0] + alloca[3,0] : 1.0 : True
(0, 3, 1) : -Inf : alloca[0,1] + alloca[3,1] : 1.0 : True
(0, 3, 2) : -Inf : alloca[0,2] + alloca[3,2] : 1.0 : True
(0, 3, 3) : -Inf : alloca[0,3] + alloca[3,3] : 1.0 : True
(1, 2, 0) : -Inf : alloca[1,0] + alloca[2,0] : 1.0 : True
(1, 2, 1) : -Inf : alloca[1,1] + alloca[2,1] : 1.0 : True
(1, 2, 2) : -Inf : alloca[1,2] + alloca[2,2] : 1.0 : True
(1, 2, 3) : -Inf : alloca[1,3] + alloca[2,3] : 1.0 : True
(1, 3, 0) : -Inf : alloca[1,0] + alloca[3,0] : 1.0 : True
(1, 3, 1) : -Inf : alloca[1,1] + alloca[3,1] : 1.0 : True
(1, 3, 2) : -Inf : alloca[1,2] + alloca[3,2] : 1.0 : True
(1, 3, 3) : -Inf : alloca[1,3] + alloca[3,3] : 1.0 : True
(1, 4, 0) : -Inf : alloca[1,0] + alloca[4,0] : 1.0 : True
(1, 4, 1) : -Inf : alloca[1,1] + alloca[4,1] : 1.0 : True
(1, 4, 2) : -Inf : alloca[1,2] + alloca[4,2] : 1.0 : True
(1, 4, 3) : -Inf : alloca[1,3] + alloca[4,3] : 1.0 : True
(1, 5, 0) : -Inf : alloca[1,0] + alloca[5,0] : 1.0 : True
(1, 5, 1) : -Inf : alloca[1,1] + alloca[5,1] : 1.0 : True
(1, 5, 2) : -Inf : alloca[1,2] + alloca[5,2] : 1.0 : True
(1, 5, 3) : -Inf : alloca[1,3] + alloca[5,3] : 1.0 : True
(1, 6, 0) : -Inf : alloca[1,0] + alloca[6,0] : 1.0 : True
(1, 6, 1) : -Inf : alloca[1,1] + alloca[6,1] : 1.0 : True
(1, 6, 2) : -Inf : alloca[1,2] + alloca[6,2] : 1.0 : True
(1, 6, 3) : -Inf : alloca[1,3] + alloca[6,3] : 1.0 : True
(2, 8, 0) : -Inf : alloca[2,0] + alloca[8,0] : 1.0 : True
(2, 8, 1) : -Inf : alloca[2,1] + alloca[8,1] : 1.0 : True
(2, 8, 2) : -Inf : alloca[2,2] + alloca[8,2] : 1.0 : True
(2, 8, 3) : -Inf : alloca[2,3] + alloca[8,3] : 1.0 : True
(2, 9, 0) : -Inf : alloca[2,0] + alloca[9,0] : 1.0 : True
(2, 9, 1) : -Inf : alloca[2,1] + alloca[9,1] : 1.0 : True
(2, 9, 2) : -Inf : alloca[2,2] + alloca[9,2] : 1.0 : True
(2, 9, 3) : -Inf : alloca[2,3] + alloca[9,3] : 1.0 : True
(3, 4, 0) : -Inf : alloca[3,0] + alloca[4,0] : 1.0 : True
(3, 4, 1) : -Inf : alloca[3,1] + alloca[4,1] : 1.0 : True
(3, 4, 2) : -Inf : alloca[3,2] + alloca[4,2] : 1.0 : True
(3, 4, 3) : -Inf : alloca[3,3] + alloca[4,3] : 1.0 : True
(3, 5, 0) : -Inf : alloca[3,0] + alloca[5,0] : 1.0 : True
(3, 5, 1) : -Inf : alloca[3,1] + alloca[5,1] : 1.0 : True
(3, 5, 2) : -Inf : alloca[3,2] + alloca[5,2] : 1.0 : True
(3, 5, 3) : -Inf : alloca[3,3] + alloca[5,3] : 1.0 : True
(4, 5, 0) : -Inf : alloca[4,0] + alloca[5,0] : 1.0 : True
(4, 5, 1) : -Inf : alloca[4,1] + alloca[5,1] : 1.0 : True
(4, 5, 2) : -Inf : alloca[4,2] + alloca[5,2] : 1.0 : True
(4, 5, 3) : -Inf : alloca[4,3] + alloca[5,3] : 1.0 : True
(7, 8, 0) : -Inf : alloca[7,0] + alloca[8,0] : 1.0 : True
(7, 8, 1) : -Inf : alloca[7,1] + alloca[8,1] : 1.0 : True
(7, 8, 2) : -Inf : alloca[7,2] + alloca[8,2] : 1.0 : True
(7, 8, 3) : -Inf : alloca[7,3] + alloca[8,3] : 1.0 : True
10 Declarations: phys_regs phys_costs virt_regs alloca_index alloca bad_pairs obj виртуальному_один_физический использование_одного_физического_index использование_одного_физического